Approches Pour La Sur-approximation D’atteignabilité Des Systèmes Complexes
نویسندگان
چکیده
RÉSUMÉ : Dans cet article nous proposons des méthodes pour le calcul d’atteignabilité dans le cas des systèmes hybrides. Celles-ci consistent en des approches pour la sur-approximation de la région atteignable dans un temps fini et selon une tolérance maximale précisée. Cette problématique est résolue dans le cas d’une évolution continue ou d’un saut avec réinitialisation. L’efficacité de l’algorithme d’approximation continue sera évaluée et améliorée par une technique itérative.
منابع مشابه
Optimisation des approximations de probabilité des requêtes en XML probabiliste
XML probabiliste est un modèle probabiliste pour les bases de données incertaines semi-structurées, avec des applications telles que l’intégration incertaine de données, l’extraction d’informations ou le contrôle probabiliste de versions. Nous explorons dans ce travail une solution efficace pour l’évaluation des requêtes tree-pattern avec jointures sur ces documents, ou, plus précisément, pour ...
متن کاملFusion de classifieurs pour la classification d'images sonar
Résumé. Nous présentons dans ce papier des approches de fusion d’informations haut niveau applicables pour des données numériques ou des données symboliques. Nous étudions l’intérêt des telles approches particulièrement pour la fusion de classifieurs. Une étude comparative est présentée dans le cadre de la caractérisation des fonds marins à partir d’images sonar. Reconnaı̂tre le type de sédiment...
متن کاملMéthodologie Causal de Modélisation et de Commande: Application aux Machines Électriques
Résumé : La commande d'un processus se détermine classiquement à partir d'un modèle mathématique donné sous des formes diverses: équation différentielle, fonction de transfert, lieux de transfert, etc....Les approches classiques donnent des informations tant quantitatives que qualitatives sur les systèmes à modéliser. Dans le cas des systèmes complexes d'autres approches ont été développées pou...
متن کاملInterprétation d'images basée sur une approche évolutive guidée par une ontologie
Résumé. Les approches de fouille et d’interprétation d’images consistant à considérer les pixels de façon indépendante ont montré leurs limites pour l’analyse d’images complexes. Pour résoudre ce problème, de nouvelles méthodes s’appuient sur une segmentation préalable de l’image qui consiste en une agrégation des pixels connexes afin de former des régions homogènes au sens d’un certain critère...
متن کاملUne approche centrée graine pour la détection de communautés dans les réseaux multiplexes
Résumé. Nous nous intéressons dans ce travail au problème de détection de communautés dans les réseaux multiplexes. Le modèle de réseau multiplexe a été récemment introduit afin de faciliter la modélisation des réseaux multirelationnels, des réseaux dynamiques et/ou des réseaux attribués. Les approches existantes pour la détection de communautés dans ce genre de graphes sont, pour la plupart, b...
متن کامل